Programming Languages for Distributed Computing Systems

When distributed systems first appeared, they were programmed in traditional sequential languages, usually with the addition of a few library procedures for sending and receiving messages. As distributed applications became more commonplace and more sophisticated, this ad hoc approach became less satisfactory. Researchers all over the world began designing new programming languages specifically for implementing distributed applications. These languages and their history, their underlying principles, their design, and their use are the subject of this paper. We begin by giving our view of what a distributed system is, illustrating with examples to avoid confusion on this important and controversial point. We then describe the three main characteristics that distinguish distributed programming languages from traditional sequential languages, namely, how they deal with parallelism, communication, and partial failures. Finally, we discuss 15 representative distributed languages to give the flavor of each. These examples include languages based on message passing, rendezvous, remote procedure call, objects, and atomic transactions, as well as functional languages, logic languages, and distributed data structure languages. The paper concludes with a comprehensive bibliography listing over 200 papers on nearly 100 distributed programming languages

Absence of lattice strain anomalies at the electronic topological transition in zinc at high pressure

High pressure structural distortions of the hexagonal close packed (hcp) element zinc have been a subject of controversy. Earlier experimental results and theory showed a large anomaly in lattice strain with compression in zinc at about 10 GPa which was explained theoretically by a change in Fermi surface topology. Later hydrostatic experiments showed no such anomaly, resulting in a discrepancy between theory and experiment. We have computed the compression and lattice strain of hcp zinc over a wide range of compressions using the linearized augmented plane wave (LAPW) method paying special attention to k-point convergence. We find that the behavior of the lattice strain is strongly dependent on k-point sampling, and with large k-point sets the previously computed anomaly in lattice parameters under compression disappears, in agreement with recent experiments.Comment: 9 pages, 6 figures, Phys. Rev. B (in press

Energy Flow in the Hadronic Final State of Diffractive and Non-Diffractive Deep-Inelastic Scattering at HERA

An investigation of the hadronic final state in diffractive and non--diffractive deep--inelastic electron--proton scattering at HERA is presented, where diffractive data are selected experimentally by demanding a large gap in pseudo --rapidity around the proton remnant direction. The transverse energy flow in the hadronic final state is evaluated using a set of estimators which quantify topological properties. Using available Monte Carlo QCD calculations, it is demonstrated that the final state in diffractive DIS exhibits the features expected if the interaction is interpreted as the scattering of an electron off a current quark with associated effects of perturbative QCD. A model in which deep--inelastic diffraction is taken to be the exchange of a pomeron with partonic structure is found to reproduce the measurements well. Models for deep--inelastic $ep$ scattering, in which a sizeable diffractive contribution is present because of non--perturbative effects in the production of the hadronic final state, reproduce the general tendencies of the data but in all give a worse description.Comment: 22 pages, latex, 6 Figures appended as uuencoded fil

A Search for Selectrons and Squarks at HERA

Data from electron-proton collisions at a center-of-mass energy of 300 GeV are used for a search for selectrons and squarks within the framework of the minimal supersymmetric model. The decays of selectrons and squarks into the lightest supersymmetric particle lead to final states with an electron and hadrons accompanied by large missing energy and transverse momentum. No signal is found and new bounds on the existence of these particles are derived. At 95% confidence level the excluded region extends to 65 GeV for selectron and squark masses, and to 40 GeV for the mass of the lightest supersymmetric particle.Comment: 13 pages, latex, 6 Figure

Repetitive noninvasive monitoring of hsvl-tk-expressing t cells intravenously infused into nonhuman primates using positron emission tomography and computed tomography with 18F-FEAU

Adoptive transfer of antigen-specific cytotoxic T lymphocytes (CTLs) has been successfully used to treat patients with different types of cancer. However, the long-term spatial-temporal dynamics of the distribution of systemically infused CTLs rlargely unknown. Noninvasive imaging of adoptively transferred CTLs using molecular-genetic reporter imaging with positron emission tomography and computed tomography (PET-CT) represents an innovative approach to understanding the long-term migratory patterns and therapeutic potential of adoptively transferred T cells. Here we report the application of repetitive PET-CT imaging with [18F]fluoro-5-ethyl-1-beta-D- arabinofuranosyluracil (18F-FEAU) in two nonhuman primates demonstrating that autologous polyclonal macaque T lymphocytes activated and transduced with a retroviral vector encoding for the sr39 mutant herpes simplex virus 1 thymidine kinase (sr39HSV1-tk) reporter gene can be detected after intravenous infusion in discrete lymphoid organs and in sites of inflammation. This study represents a proof of principle and supports the application of 18F-FEAU PET-CT imaging for monitoring the distribution of intravenously administered sr39HSV1-tk gene-transduced CTLs in humans